[next] [prev] [prev-tail] [tail] [up]

2.2.8 Integrals 701 to 800

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 701

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 10 9 24 56 9 25

N.S.

1 1.00 1.00 0.77 0.69 1.85 4.31 0.69 1.92

time (sec)

N/A 0.129 0.004 2.027 0.212 0.243 0.317 0.270 4.633

Problem 702

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 84 50 47 64 46 1690 61 48

N.S.

1 1.05 0.62 0.59 0.80 0.58 21.12 0.76 0.60

time (sec)

N/A 0.195 0.034 2.007 0.193 0.243 1.630 0.272 4.929

Problem 703

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 63 39 36 47 35 631 47 36

N.S.

1 1.07 0.66 0.61 0.80 0.59 10.69 0.80 0.61

time (sec)

N/A 0.183 0.035 2.007 0.203 0.251 1.046 0.276 4.950

Problem 704

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 28 25 30 24 178 30 24

N.S.

1 1.11 0.74 0.66 0.79 0.63 4.68 0.79 0.63

time (sec)

N/A 0.172 0.028 2.000 0.192 0.251 0.717 0.283 4.824

Problem 705

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 14 24 14 14

N.S.

1 1.00 1.00 0.83 0.78 0.78 1.33 0.78 0.78

time (sec)

N/A 0.138 0.002 2.009 0.197 0.243 0.083 0.270 4.959

Problem 706

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 85 103 83 86 235 41 87 106

N.S.

1 0.99 1.20 0.97 1.00 2.73 0.48 1.01 1.23

time (sec)

N/A 0.193 0.075 9.681 0.275 0.253 0.547 0.491 5.109

Problem 707

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 113 136 111 118 344 41 119 138

N.S.

1 1.03 1.24 1.01 1.07 3.13 0.37 1.08 1.25

time (sec)

N/A 0.208 0.153 2.058 0.278 0.261 0.750 0.495 4.973

Problem 708

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 143 143 136 158 326 41 142 201

N.S.

1 1.04 1.04 0.99 1.14 2.36 0.30 1.03 1.46

time (sec)

N/A 0.225 0.172 2.077 0.286 0.267 1.586 0.512 5.101

Problem 709

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

580 625 79 0 0 0 27 0 0

N.S.

1 1.08 0.14 0.00 0.00 0.00 0.05 0.00 0.00

time (sec)

N/A 0.487 4.445 0.000 0.000 0.000 0.486 0.000 0.000

Problem 710

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

556 595 62 0 0 0 27 0 0

N.S.

1 1.07 0.11 0.00 0.00 0.00 0.05 0.00 0.00

time (sec)

N/A 0.465 4.226 0.000 0.000 0.000 0.470 0.000 0.000

Problem 711

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

529 574 46 0 0 0 24 0 37

N.S.

1 1.09 0.09 0.00 0.00 0.00 0.05 0.00 0.07

time (sec)

N/A 0.453 4.188 0.000 0.000 0.000 0.473 0.000 4.533

Problem 712

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

546 594 49 0 0 0 27 0 40

N.S.

1 1.09 0.09 0.00 0.00 0.00 0.05 0.00 0.07

time (sec)

N/A 0.484 4.434 0.000 0.000 0.000 0.511 0.000 4.691

Problem 713

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

578 624 51 0 0 0 32 0 0

N.S.

1 1.08 0.09 0.00 0.00 0.00 0.06 0.00 0.00

time (sec)

N/A 0.536 10.010 0.000 0.000 0.000 0.562 0.000 0.000

Problem 714

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 82 50 47 64 46 1690 61 48

N.S.

1 1.02 0.62 0.59 0.80 0.58 21.12 0.76 0.60

time (sec)

N/A 0.204 0.039 2.028 0.209 0.237 1.635 0.333 4.745

Problem 715

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 61 39 36 47 35 631 47 36

N.S.

1 1.03 0.66 0.61 0.80 0.59 10.69 0.80 0.61

time (sec)

N/A 0.189 0.029 2.004 0.201 0.248 1.049 0.339 4.569

Problem 716

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 40 27 25 30 23 178 30 24

N.S.

1 1.05 0.71 0.66 0.79 0.61 4.68 0.79 0.63

time (sec)

N/A 0.175 0.024 1.998 0.189 0.242 0.669 0.339 4.678

Problem 717

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 14 24 14 14

N.S.

1 1.00 1.00 0.83 0.78 0.78 1.33 0.78 0.78

time (sec)

N/A 0.139 0.003 1.992 0.190 0.235 0.096 0.316 4.697

Problem 718

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 101 83 86 123 41 87 102

N.S.

1 1.00 1.17 0.97 1.00 1.43 0.48 1.01 1.19

time (sec)

N/A 0.205 0.072 7.211 0.283 0.249 0.555 0.603 4.772

Problem 719

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 114 135 111 118 182 41 118 130

N.S.

1 1.07 1.26 1.04 1.10 1.70 0.38 1.10 1.21

time (sec)

N/A 0.214 0.116 2.083 0.289 0.256 0.776 0.542 4.767

Problem 720

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 144 143 136 158 174 41 142 193

N.S.

1 1.04 1.04 0.99 1.14 1.26 0.30 1.03 1.40

time (sec)

N/A 0.229 0.147 2.090 0.279 0.256 1.632 0.506 4.975

Problem 721

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

293 299 79 0 0 0 27 0 0

N.S.

1 1.02 0.27 0.00 0.00 0.00 0.09 0.00 0.00

time (sec)

N/A 0.279 4.691 0.000 0.000 0.000 0.514 0.000 0.000

Problem 722

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

269 269 62 0 0 0 27 0 0

N.S.

1 1.00 0.23 0.00 0.00 0.00 0.10 0.00 0.00

time (sec)

N/A 0.255 4.221 0.000 0.000 0.000 0.489 0.000 0.000

Problem 723

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

246 246 46 0 0 0 24 0 37

N.S.

1 1.00 0.19 0.00 0.00 0.00 0.10 0.00 0.15

time (sec)

N/A 0.236 4.145 0.000 0.000 0.000 0.468 0.000 4.635

Problem 724

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

265 265 49 0 0 0 27 0 40

N.S.

1 1.00 0.18 0.00 0.00 0.00 0.10 0.00 0.15

time (sec)

N/A 0.256 4.810 0.000 0.000 0.000 0.537 0.000 4.807

Problem 725

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

293 295 51 0 0 0 32 0 0

N.S.

1 1.01 0.17 0.00 0.00 0.00 0.11 0.00 0.00

time (sec)

N/A 0.281 10.010 0.000 0.000 0.000 0.607 0.000 0.000

Problem 726

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 82 50 47 64 58 1584 70 55

N.S.

1 1.02 0.62 0.59 0.80 0.72 19.80 0.88 0.69

time (sec)

N/A 0.207 0.039 2.025 0.192 0.242 1.629 0.304 4.727

Problem 727

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 38 35 47 46 561 52 41

N.S.

1 1.00 0.64 0.59 0.80 0.78 9.51 0.88 0.69

time (sec)

N/A 0.190 0.032 2.032 0.187 0.259 1.135 0.297 4.680

Problem 728

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 40 27 24 30 35 46 34 24

N.S.

1 1.05 0.71 0.63 0.79 0.92 1.21 0.89 0.63

time (sec)

N/A 0.173 0.030 2.023 0.191 0.253 0.229 0.285 4.647

Problem 729

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 24 26 14 14

N.S.

1 1.00 1.00 0.83 0.78 1.33 1.44 0.78 0.78

time (sec)

N/A 0.138 0.002 2.008 0.190 0.244 0.125 0.287 4.534

Problem 730

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 106 121 122 100 327 41 101 123

N.S.

1 1.02 1.16 1.17 0.96 3.14 0.39 0.97 1.18

time (sec)

N/A 0.210 0.108 2.069 0.267 0.265 0.633 0.518 4.648

Problem 731

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 134 135 146 136 453 41 134 178

N.S.

1 1.09 1.10 1.19 1.11 3.68 0.33 1.09 1.45

time (sec)

N/A 0.230 0.210 2.111 0.287 0.257 1.013 0.526 4.722

Problem 732

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

159 164 154 163 176 437 41 154 224

N.S.

1 1.03 0.97 1.03 1.11 2.75 0.26 0.97 1.41

time (sec)

N/A 0.254 0.216 2.133 0.280 0.262 2.570 0.519 4.847

Problem 733

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

577 624 65 0 0 0 27 0 0

N.S.

1 1.08 0.11 0.00 0.00 0.00 0.05 0.00 0.00

time (sec)

N/A 0.483 5.304 0.000 0.000 0.000 0.518 0.000 0.000

Problem 734

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

553 594 55 0 0 0 27 0 0

N.S.

1 1.07 0.10 0.00 0.00 0.00 0.05 0.00 0.00

time (sec)

N/A 0.452 4.994 0.000 0.000 0.000 0.498 0.000 0.000

Problem 735

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

552 597 58 0 0 0 24 0 37

N.S.

1 1.08 0.11 0.00 0.00 0.00 0.04 0.00 0.07

time (sec)

N/A 0.485 4.615 0.000 0.000 0.000 0.488 0.000 4.609

Problem 736

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

571 623 52 0 0 0 27 0 40

N.S.

1 1.09 0.09 0.00 0.00 0.00 0.05 0.00 0.07

time (sec)

N/A 0.506 5.277 0.000 0.000 0.000 0.589 0.000 4.852

Problem 737

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

599 653 54 0 0 0 32 0 0

N.S.

1 1.09 0.09 0.00 0.00 0.00 0.05 0.00 0.00

time (sec)

N/A 0.537 10.009 0.000 0.000 0.000 0.626 0.000 0.000

Problem 738

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) F(-1) F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

195 209 233 0 0 0 0 0 0

N.S.

1 1.07 1.19 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.315 1.903 0.000 0.000 0.000 0.000 0.000 0.000

Problem 739

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

164 171 204 0 0 0 46 0 0

N.S.

1 1.04 1.24 0.00 0.00 0.00 0.28 0.00 0.00

time (sec)

N/A 0.263 1.409 0.000 0.000 0.000 18.763 0.000 0.000

Problem 740

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

133 140 173 0 0 0 46 0 0

N.S.

1 1.05 1.30 0.00 0.00 0.00 0.35 0.00 0.00

time (sec)

N/A 0.242 0.899 0.000 0.000 0.000 0.875 0.000 0.000

Problem 741

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

131 140 182 0 0 0 49 0 0

N.S.

1 1.07 1.39 0.00 0.00 0.00 0.37 0.00 0.00

time (sec)

N/A 0.236 0.556 0.000 0.000 0.000 1.603 0.000 0.000

Problem 742

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 26 21 35 25 78 0 0

N.S.

1 1.00 0.93 0.75 1.25 0.89 2.79 0.00 0.00

time (sec)

N/A 0.145 0.898 2.002 0.272 0.283 36.456 0.000 0.000

Problem 743

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 46 31 0 46 0 0 0

N.S.

1 1.00 0.81 0.54 0.00 0.81 0.00 0.00 0.00

time (sec)

N/A 0.169 2.200 7.283 0.000 0.274 0.000 0.000 0.000

Problem 744

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 93 47 42 0 57 0 0 0

N.S.

1 1.09 0.55 0.49 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.190 2.835 2.020 0.000 0.265 0.000 0.000 0.000

Problem 745

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 129 58 53 64 68 0 0 0

N.S.

1 1.14 0.51 0.47 0.57 0.60 0.00 0.00 0.00

time (sec)

N/A 0.212 4.580 7.292 0.219 0.275 0.000 0.000 0.000

Problem 746

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

451 396 103 0 0 0 46 0 0

N.S.

1 0.88 0.23 0.00 0.00 0.00 0.10 0.00 0.00

time (sec)

N/A 0.400 10.057 0.000 0.000 0.000 86.066 0.000 0.000

Problem 747

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

418 358 85 0 0 0 46 0 0

N.S.

1 0.86 0.20 0.00 0.00 0.00 0.11 0.00 0.00

time (sec)

N/A 0.349 10.030 0.000 0.000 0.000 3.232 0.000 0.000

Problem 748

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

381 320 54 0 0 0 46 0 0

N.S.

1 0.84 0.14 0.00 0.00 0.00 0.12 0.00 0.00

time (sec)

N/A 0.336 10.011 0.000 0.000 0.000 0.741 0.000 0.000

Problem 749

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

391 326 56 0 0 0 32 0 0

N.S.

1 0.83 0.14 0.00 0.00 0.00 0.08 0.00 0.00

time (sec)

N/A 0.340 10.011 0.000 0.000 0.000 6.639 0.000 0.000

Problem 750

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

422 366 56 0 0 0 0 0 0

N.S.

1 0.87 0.13 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.380 10.014 0.000 0.000 0.000 0.000 0.000 0.000

Problem 751

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 58 56 0 0 0 46 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.79 0.00 0.00

time (sec)

N/A 0.181 9.881 0.000 0.000 0.000 1.011 0.000 0.000

Problem 752

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 58 56 0 0 0 46 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.79 0.00 0.00

time (sec)

N/A 0.174 10.011 0.000 0.000 0.000 0.738 0.000 0.000

Problem 753

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

56 56 54 0 0 0 49 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.88 0.00 0.00

time (sec)

N/A 0.172 10.011 0.000 0.000 0.000 1.153 0.000 0.000

Problem 754

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) F(-1) F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

223 240 259 0 0 0 0 0 0

N.S.

1 1.08 1.16 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.329 2.641 0.000 0.000 0.000 0.000 0.000 0.000

Problem 755

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

192 202 230 0 0 0 46 0 0

N.S.

1 1.05 1.20 0.00 0.00 0.00 0.24 0.00 0.00

time (sec)

N/A 0.286 1.637 0.000 0.000 0.000 42.337 0.000 0.000

Problem 756

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

163 171 204 0 0 0 46 0 0

N.S.

1 1.05 1.25 0.00 0.00 0.00 0.28 0.00 0.00

time (sec)

N/A 0.250 1.266 0.000 0.000 0.000 3.572 0.000 0.000

Problem 757

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

153 172 203 0 0 0 49 0 0

N.S.

1 1.12 1.33 0.00 0.00 0.00 0.32 0.00 0.00

time (sec)

N/A 0.267 0.840 0.000 0.000 0.000 3.848 0.000 0.000

Problem 758

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

157 171 200 0 0 0 53 0 0

N.S.

1 1.09 1.27 0.00 0.00 0.00 0.34 0.00 0.00

time (sec)

N/A 0.267 0.927 0.000 0.000 0.000 36.550 0.000 0.000

Problem 759

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 26 21 0 43 0 0 0

N.S.

1 1.00 0.93 0.75 0.00 1.54 0.00 0.00 0.00

time (sec)

N/A 0.133 2.549 2.012 0.000 0.299 0.000 0.000 0.000

Problem 760

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 36 31 0 57 0 0 0

N.S.

1 1.00 0.63 0.54 0.00 1.00 0.00 0.00 0.00

time (sec)

N/A 0.157 3.029 2.068 0.000 0.297 0.000 0.000 0.000

Problem 761

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 93 47 42 0 68 0 0 0

N.S.

1 1.09 0.55 0.49 0.00 0.80 0.00 0.00 0.00

time (sec)

N/A 0.176 4.196 2.085 0.000 0.285 0.000 0.000 0.000

Problem 762

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

479 427 102 0 0 0 0 0 0

N.S.

1 0.89 0.21 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.404 10.060 0.000 0.000 0.000 0.000 0.000 0.000

Problem 763

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

448 389 89 0 0 0 46 0 0

N.S.

1 0.87 0.20 0.00 0.00 0.00 0.10 0.00 0.00

time (sec)

N/A 0.375 10.041 0.000 0.000 0.000 7.841 0.000 0.000

Problem 764

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

414 351 55 0 0 0 46 0 0

N.S.

1 0.85 0.13 0.00 0.00 0.00 0.11 0.00 0.00

time (sec)

N/A 0.346 10.012 0.000 0.000 0.000 2.544 0.000 0.000

Problem 765

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

414 354 57 0 0 0 32 0 0

N.S.

1 0.86 0.14 0.00 0.00 0.00 0.08 0.00 0.00

time (sec)

N/A 0.345 10.012 0.000 0.000 0.000 8.932 0.000 0.000

Problem 766

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

419 360 57 0 0 0 0 0 0

N.S.

1 0.86 0.14 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.358 10.017 0.000 0.000 0.000 0.000 0.000 0.000

Problem 767

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

450 400 57 0 0 0 0 0 0

N.S.

1 0.89 0.13 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.387 10.014 0.000 0.000 0.000 0.000 0.000 0.000

Problem 768

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

59 59 57 0 0 0 46 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.78 0.00 0.00

time (sec)

N/A 0.164 10.012 0.000 0.000 0.000 4.381 0.000 0.000

Problem 769

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

59 59 57 0 0 0 46 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.78 0.00 0.00

time (sec)

N/A 0.159 10.012 0.000 0.000 0.000 2.568 0.000 0.000

Problem 770

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

57 57 55 0 0 0 49 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.86 0.00 0.00

time (sec)

N/A 0.166 10.016 0.000 0.000 0.000 2.549 0.000 0.000

Problem 771

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) F(-1) F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

198 216 233 0 0 0 0 0 0

N.S.

1 1.09 1.18 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.288 5.831 0.000 0.000 0.000 0.000 0.000 0.000

Problem 772

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) F(-1) F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

167 178 207 0 0 0 0 0 0

N.S.

1 1.07 1.24 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.267 2.481 0.000 0.000 0.000 0.000 0.000 0.000

Problem 773

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

131 140 174 0 0 0 44 0 0

N.S.

1 1.07 1.33 0.00 0.00 0.00 0.34 0.00 0.00

time (sec)

N/A 0.232 1.425 0.000 0.000 0.000 17.527 0.000 0.000

Problem 774

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-1) C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

106 113 146 0 0 0 44 0 0

N.S.

1 1.07 1.38 0.00 0.00 0.00 0.42 0.00 0.00

time (sec)

N/A 0.217 0.849 0.000 0.000 0.000 0.809 0.000 0.000

Problem 775

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 26 21 35 25 36 0 0

N.S.

1 1.00 0.93 0.75 1.25 0.89 1.29 0.00 0.00

time (sec)

N/A 0.146 0.882 2.037 0.199 0.298 2.064 0.000 0.000

Problem 776

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 34 29 0 35 78 0 0

N.S.

1 1.00 0.60 0.51 0.00 0.61 1.37 0.00 0.00

time (sec)

N/A 0.170 1.510 7.380 0.000 0.279 75.128 0.000 0.000

Problem 777

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 91 47 42 0 46 0 0 0

N.S.

1 1.07 0.55 0.49 0.00 0.54 0.00 0.00 0.00

time (sec)

N/A 0.194 3.593 2.052 0.000 0.264 0.000 0.000 0.000

Problem 778

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 127 58 53 64 57 0 0 0

N.S.

1 1.12 0.51 0.47 0.57 0.50 0.00 0.00 0.00

time (sec)

N/A 0.208 5.167 7.382 0.202 0.253 0.000 0.000 0.000

Problem 779

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

421 365 87 0 0 0 44 0 0

N.S.

1 0.87 0.21 0.00 0.00 0.00 0.10 0.00 0.00

time (sec)

N/A 0.359 10.027 0.000 0.000 0.000 84.860 0.000 0.000

Problem 780

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

388 327 66 0 0 0 44 0 0

N.S.

1 0.84 0.17 0.00 0.00 0.00 0.11 0.00 0.00

time (sec)

N/A 0.328 10.018 0.000 0.000 0.000 2.703 0.000 0.000

Problem 781

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

364 299 54 0 0 0 31 0 0

N.S.

1 0.82 0.15 0.00 0.00 0.00 0.09 0.00 0.00

time (sec)

N/A 0.314 10.012 0.000 0.000 0.000 0.932 0.000 0.000

Problem 782

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

394 332 56 0 0 0 48 0 0

N.S.

1 0.84 0.14 0.00 0.00 0.00 0.12 0.00 0.00

time (sec)

N/A 0.354 10.013 0.000 0.000 0.000 14.323 0.000 0.000

Problem 783

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

425 372 56 0 0 0 0 0 0

N.S.

1 0.88 0.13 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.366 10.016 0.000 0.000 0.000 0.000 0.000 0.000

Problem 784

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 58 56 0 0 0 44 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.76 0.00 0.00

time (sec)

N/A 0.171 10.013 0.000 0.000 0.000 0.842 0.000 0.000

Problem 785

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 58 56 0 0 0 46 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.79 0.00 0.00

time (sec)

N/A 0.169 10.014 0.000 0.000 0.000 0.758 0.000 0.000

Problem 786

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

56 56 54 0 0 0 48 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.86 0.00 0.00

time (sec)

N/A 0.168 10.012 0.000 0.000 0.000 1.582 0.000 0.000

Problem 787

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

121 132 93 0 0 0 29 0 0

N.S.

1 1.09 0.77 0.00 0.00 0.00 0.24 0.00 0.00

time (sec)

N/A 0.212 5.865 0.000 0.000 0.000 0.562 0.000 0.000

Problem 788

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

97 102 62 0 0 0 29 0 0

N.S.

1 1.05 0.64 0.00 0.00 0.00 0.30 0.00 0.00

time (sec)

N/A 0.189 5.750 0.000 0.000 0.000 0.526 0.000 0.000

Problem 789

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

75 75 46 0 0 0 26 0 37

N.S.

1 1.00 0.61 0.00 0.00 0.00 0.35 0.00 0.49

time (sec)

N/A 0.169 5.637 0.000 0.000 0.000 0.502 0.000 5.173

Problem 790

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

72 72 49 0 0 0 29 0 40

N.S.

1 1.00 0.68 0.00 0.00 0.00 0.40 0.00 0.56

time (sec)

N/A 0.169 5.800 0.000 0.000 0.000 0.557 0.000 5.066

Problem 791

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

99 100 51 0 0 0 34 0 0

N.S.

1 1.01 0.52 0.00 0.00 0.00 0.34 0.00 0.00

time (sec)

N/A 0.188 10.009 0.000 0.000 0.000 0.564 0.000 0.000

Problem 792

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

123 130 51 0 0 0 34 0 0

N.S.

1 1.06 0.41 0.00 0.00 0.00 0.28 0.00 0.00

time (sec)

N/A 0.211 10.012 0.000 0.000 0.000 0.662 0.000 0.000

Problem 793

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

126 137 95 0 0 0 31 0 0

N.S.

1 1.09 0.75 0.00 0.00 0.00 0.25 0.00 0.00

time (sec)

N/A 0.219 6.012 0.000 0.000 0.000 0.589 0.000 0.000

Problem 794

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

101 106 64 0 0 0 31 0 0

N.S.

1 1.05 0.63 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.196 6.129 0.000 0.000 0.000 0.543 0.000 0.000

Problem 795

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

78 78 47 0 0 0 27 0 38

N.S.

1 1.00 0.60 0.00 0.00 0.00 0.35 0.00 0.49

time (sec)

N/A 0.171 5.876 0.000 0.000 0.000 0.521 0.000 4.709

Problem 796

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

76 76 50 0 0 0 31 0 41

N.S.

1 1.00 0.66 0.00 0.00 0.00 0.41 0.00 0.54

time (sec)

N/A 0.174 5.902 0.000 0.000 0.000 0.555 0.000 5.001

Problem 797

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

103 103 52 0 0 0 36 0 0

N.S.

1 1.00 0.50 0.00 0.00 0.00 0.35 0.00 0.00

time (sec)

N/A 0.192 10.016 0.000 0.000 0.000 0.595 0.000 0.000

Problem 798

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

128 134 52 0 0 0 36 0 0

N.S.

1 1.05 0.41 0.00 0.00 0.00 0.28 0.00 0.00

time (sec)

N/A 0.214 10.011 0.000 0.000 0.000 0.670 0.000 0.000

Problem 799

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

143 156 93 0 0 0 29 0 0

N.S.

1 1.09 0.65 0.00 0.00 0.00 0.20 0.00 0.00

time (sec)

N/A 0.231 7.131 0.000 0.000 0.000 0.672 0.000 0.000

Problem 800

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

119 126 62 0 0 0 29 0 0

N.S.

1 1.06 0.52 0.00 0.00 0.00 0.24 0.00 0.00

time (sec)

N/A 0.210 6.841 0.000 0.000 0.000 0.597 0.000 0.000

[next] [prev] [prev-tail] [front] [up]